UML 2 State Machine Diagrams